REF, NoConds
\\[0ex]Complete ($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(Complete ($a$))$\cdot$